Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
cut rule - перевод на русский
INFERENCE RULE, GENERALISATION OF THE MODUS PONENS, IN SEQUENT CALCULUS
cut rule
математика
правило сечения
cut-glass
.jpg?width=200 "Contemporary Czech cut glass in two colours")
.gif?width=200 "Czech glass-cutter at work")
![Chandelier in the chapel of [[Emmanuel College, Cambridge]], donated in 1732, one of the earliest datable cut glass examples. The shape follows contemporary brass examples, with glass branches but no "drops"; only the pieces down the stem are cut, mostly with flat facets.<ref>Battie & Cottle, 102</ref>](https://commons.wikimedia.org/wiki/Special:FilePath/Emmanuel College Chapel 2, Cambridge, UK - Diliff (cropped).jpg?width=200 "Chandelier in the chapel of [[Emmanuel College, Cambridge]], donated in 1732, one of the earliest datable cut glass examples. The shape follows contemporary brass examples, with glass branches but no \"drops\"; only the pieces down the stem are cut, mostly with flat facets.<ref>Battie & Cottle, 102</ref>")
![American "brilliant cut" [[punch bowl]] on stand, 1895](https://commons.wikimedia.org/wiki/Special:FilePath/Punch Bowl on Stand LACMA M.91.320.6.jpg?width=200 "American \"brilliant cut\" [[punch bowl]] on stand, 1895")
![Montgolfier]]" shape (due to its resemblance to an inverted [[hot air balloon]]),<ref>History</ref> in [[Edinburgh]]](https://commons.wikimedia.org/wiki/Special:FilePath/Royal Lyceum Edinburgh Chandelier.jpg?width=200 "Montgolfier]]\" shape (due to its resemblance to an inverted [[hot air balloon]]),<ref>History</ref> in [[Edinburgh]]")
![Regency]] chandeliers in [[Saltram House]], England](https://commons.wikimedia.org/wiki/Special:FilePath/The Saloon (7279934644).jpg?width=200 "Regency]] chandeliers in [[Saltram House]], England")
![[[Waterford Crystal]] factory in 2001](https://commons.wikimedia.org/wiki/Special:FilePath/Waterford Crystal tour - Quality control - geograph.org.uk - 1636581.jpg?width=200 "[[Waterford Crystal]] factory in 2001")
![engraving]] above, England, late 18th-century](https://commons.wikimedia.org/wiki/Special:FilePath/Wine Rinser (England), 18th century (CH 18464757-2) (cropped).jpg?width=200 "engraving]] above, England, late 18th-century")
, 1760–80 (CH 18621563) (cropped).jpg?width=200 "Dessert glass, England, 1760–80")
.jpg?width=200 "Bowl, 1820–30, English")
, early 19th century (CH 18621221).jpg?width=200 "Irish jug, early 19th century")
, ca. 1835 (CH 18621547) (cropped).jpg?width=200 "English (?) vase, c. 1835")
GLASS DECORATED WITH GEOMETRICAL OR REPRESENTATIONAL INCISIONS MADE BY GRINDING AND POLISHING
Cut-glass accent; Cut-glass; Cut crystal
существительное
общая лексика
граненое стекло
cut-glass
GLASS DECORATED WITH GEOMETRICAL OR REPRESENTATIONAL INCISIONS MADE BY GRINDING AND POLISHING
Cut-glass accent; Cut-glass; Cut crystal
cut-glass noun граненое стекло
Определение
cut glass
also cut-glass
Cut glass is glass that has patterns cut into its surface.
...a cut-glass bowl.
N-UNCOUNT: oft N n
Википедия
Cut rule
In mathematical logic, the cut rule is an inference rule of sequent calculus. It is a generalisation of the classical modus ponens inference rule. Its meaning is that, if a formula A appears as a conclusion in one proof and a hypothesis in another, then another proof in which the formula A does not appear can be deduced. In the particular case of the modus ponens, for example occurrences of man are eliminated of Every man is mortal, Socrates is a man to deduce Socrates is mortal.
